/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */
package semantics.reachability;

import semantics.TIOARuntime;
import syntax.TIOA;

/**
 *
 * @author ennouaary
 */
public class IncrementalReachabilityAnalysis implements ReachabilityAnalysis{

    @Override
    public TIOARuntime analyse(TIOA tioa) {
        ExhaustiveReachabilityAnalysis analysis = new ExhaustiveReachabilityAnalysis();
        return analysis.analyse(tioa);
    }
    
}
